Universal algebra - PDFSEARCH.IO - Document Search Engine

Universal algebra
Results: 475

#	Item
251	Decidability of Definability Manuel Bodirsky ´ CNRS / LIX, Ecole Polytechnique Joint work with Michael Pinsker and Todor Tsankov Add to Reading List Source URL: www.fields.utoronto.ca Language: English - Date: 2011-10-17 13:03:59 Constructible universe Definable real number Model theory Structure Universal algebra
252	rstc04_camready_final.dvi Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-02-03 06:34:23 Structure Universal algebra Interpretation Symbol Constructible universe Normal distribution Orbifold Model theory Logic Mathematics
253	Chu realizes all small concrete categories Vaughan Pratt January 9, 2005 Abstract The category Chu is concretely universal for much of concrete mathematics; in particular it concretely represents or realizes all categori Add to Reading List Source URL: boole.stanford.edu Language: English - Date: 2005-01-09 13:07:13 Functors Concrete category Morphism Category Universal property Chu space Full and faithful functors Natural transformation Epimorphism Category theory Abstract algebra Mathematics
254	Shorter proof of universality of Chu spaces Vaughan Pratt July 15, 1994 The categories Strκ of κ-ary relational structures and their homomorphisms where κ is any ordinal are universal categories for mathematics to the Add to Reading List Source URL: boole.stanford.edu Language: English - Date: 2005-01-09 13:07:09 Algebra Structure Model theory Universal algebra Homomorphism Boolean algebra Mathematics Mathematical structures Algebraic structures
255	A Study on Multiformalism Modeling of Critical Infrastructures Francesco Flammini, Nicola Mazzocca, Concetta Pragliola, Valeria Vittorini Rationale Several frameworks have been proposed in the research literature in orde Add to Reading List Source URL: critis08.dia.uniroma3.it Language: English - Date: 2008-10-26 12:23:53 Science Model theory Substructure Universal algebra Analytica Simulation Mathematical software Operations research Mathematics
256	Notes on the Chu construction and Recursion Gordon Plotkin January 9, 2005 1 Add to Reading List Source URL: boole.stanford.edu Language: English - Date: 2005-01-09 13:07:03 Functor Adjoint functors Universal property Sheaf Coproduct Function Initial and terminal objects Limit Chu space Abstract algebra Mathematics Category theory
257	Notes on Event structures and Chu Gordon Plotkin January 9, 2005 1 Add to Reading List Source URL: boole.stanford.edu Language: English - Date: 2005-01-09 13:07:07 Model theory Mathematical structures Universal algebra Algebraic structures Abstract algebra Structure Alfred Tarski FO Order Mathematics Mathematical logic Logic
258	1 Cryptographically Secure CRC for Lightweight Message Authentication Elena Dubrova∗ , Mats N¨aslund† , G¨oran Selander† , Fredrik Lindqvist† ∗ Royal Add to Reading List Source URL: eprint.iacr.org Language: English - Date: 2015-01-15 04:13:19 Cryptography Cryptographic hash functions Finite fields Hashing Polynomials Cyclic redundancy check Polynomial code Universal hashing Polynomial Mathematics Error detection and correction Algebra
259	Simpler Efficient Group Signatures from Lattices⋆,⋆⋆ Phong Q. Nguyen1 , Jiang Zhang2 , and Zhenfeng Zhang2 1 INRIA, France and Tsinghua University, Institute for Advanced Study, China 2 Add to Reading List Source URL: eprint.iacr.org Language: English - Date: 2015-01-14 03:25:24 Algebra Public-key cryptography Model theory Structure Universal algebra Lattice problem Group signature Lattice RSA Mathematics Cryptography Abstract algebra
260	Research Visit at the University of Illinois at Urbana-Champaign: End Report Felix Schernhammer January 25, [removed] Add to Reading List Source URL: www.marshallplan.at Language: English - Date: 2014-09-30 21:01:03 Model theory Structure Universal algebra Computability theory Theory of computation Combinatorial species Symbol Interpretation Μ operator Mathematics Mathematical logic Logic

UPDATE